RCU Usage In the Linux Kernel: One Decade Later
نویسندگان
چکیده
Read-copy update (RCU) has been used in the Linux kernel for more than a decade, raising the question of exactly what it is used for. To answer this question, we briefly survey use of RCU in the Linux kernel, addressing the why, where, and how of its usage. This document also includes a novel graphical depiction of the relationships among several patterns of RCU usage.
منابع مشابه
Open Questions Surrounding RCU
Read-copy update (RCU) is a light-weight synchronization mechanism that has been used in production for well over a decade, most recently, as part of the Linux kernel. Although RCU is well-understood in the sense that practitioners are able to make good use of it without special training, there are a number of intriguing open questions related to RCU. This paper introduces a number of such ques...
متن کاملSome Examples of Kernel-Hacker Informal Correctness Reasoning
I presented an overview of read-copy update (RCU) [22, 17, 11] at the May 2015 Dagstuhl workshop on Compositional Verification Methods for Next-Generation Concurrency, and was pleasantly but profoundly surprised to learn that a number of the formal-verification researchers in attendance were disappointed to have not seen any RCU code. This document is an attempt to give them some degree of sati...
متن کاملVerification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs lowoverhead readers concurrently with updaters. Productionquality RCU implementations for multi-core systems are decidedly non-trivial. Giving the ubiquity of Linux, a rare “million-year” bug can occur several times per day across the installed base. Stringent validation of RCU’s complex beha...
متن کاملUsing Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel
Read-copy update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access requires neither locks nor atomic instructions, and can often be written as if the data were unchanging, in a “CS 101” style. RCU is typically applied to read-mostly linked structures that the read-side code traverses u...
متن کاملExploiting Deferred Destruction: An Analysis of Read-Copy-Update Techniques in Operating System Kernels
The performance of synchronization instructions on shared memory multiprocessors (SMMP) has declined dramatically compared to the performance of simple instructions. As a result, operating system developers for SMMPs have sought out synchronization algorithms that avoid using these instructions, especially in commonly executed paths. One such algorithm that has been applied successfully in stat...
متن کامل